Interkulturelle Dramapädagogik von Benedikt Kessler

Interkulturelle Handlungskompetenz für Wirtschaftsinformatiker

Benedikt Ahrens: Initial Semantics for Reduction Rules

We give an algebraic characterization of the syntax and operational semantics of a class of simply–typed languages, such as the language PCF: we characterize simply–typed syntax with variable binding and equipped with reduction rules via a universal property, namely as the initial object of some category of models. For this purpose, we employ techniques developed in two previous works: Ahrens (...

History and evolution of the Kessler repair.

The "grasping technique" described by Isidor Kessler and Fuad Nissim in 1969 is a popular method of flexor tendon repair. Different authors have modified this technique to the point where the so-called "modified Kessler technique" bears little resemblance to the original description. This article sheds light on the life and contributions of Isidor Kessler, and examines the evolution of the Kess...

Benedikt Ahrens: Initiality for Typed Syntax and Semantics

We give an algebraic characterization of the syntax and semantics of a class of simply–typed languages, such as the language PCF: we characterize simply–typed binding syntax equipped with reduction rules via a universal property, namely as the initial object of some category. For this purpose, we employ techniques developed in two previous works: in [2], we model syntactic translations between ...

The Kessler Run: On the Design of the GTOC9 Challenge

As organizers of the 9th edition of the Global Trajectory Optimization Competition we were tasked to design a challenging trajectory optimization problem to be solved during the duration of one month. We gave ourselves the goal to create a problem which was accessible enough for newcomers, deep enough for experts, unconventional in its objective function and which allowed for a real-time format...